Providing Early Warnings of Specification Problems
نویسندگان
چکیده
A formal software verification system relies upon a software engineer writing mathematically precise specifications of intended behavior. Humans often introduce defects into such specifications. Techniques and tools capable of warning about common defects can help them develop correct specifications by finding subtle issues that would permit unintended behavior. New specification-checking techniques and a tool that implements them, SpecChec, are described.
منابع مشابه
Contract-Based Specification and Analysis of AADL Models
We describe an approach to the specification, analysis and verification of AADL models using assume/guarantee behavioural contracts specified with the Property Specification Language (PSL). This approach aids the development process by 1) supporting the reuse and replacement of components based on their contracts rather than only their interface or their implementation and thus reducing the nee...
متن کاملLooming Auditory Collision Warnings for Driving
OBJECTIVE A driving simulator was used to compare the effectiveness of increasing intensity (looming) auditory warning signals with other types of auditory warnings. BACKGROUND Auditory warnings have been shown to speed driver reaction time in rear-end collision situations; however, it is not clear which type of signal is the most effective. Although verbal and symbolic (e.g., a car horn) war...
متن کاملMultifractality and Network Analysis of Phase Transition
Many models and real complex systems possess critical thresholds at which the systems shift dramatically from one sate to another. The discovery of early-warnings in the vicinity of critical points are of great importance to estimate how far the systems are away from the critical states. Multifractal Detrended Fluctuation analysis (MF-DFA) and visibility graph method have been employed to inves...
متن کاملPower Quality Early Warning Based on Anomaly Detection
Different power quality (PQ) disturbance sources can have major impacts on the power supply grid. This study proposes, for the first time, an early warning approach to identifying PQ problems and providing early warning prompts based on the monitored data of PQ disturbance sources. To establish a steady-state power quality early warning index system, the characteristics of PQ disturbance source...
متن کاملEarly Warnings for Catastrophic Shifts in Ecosystems: Comparison between Spatial and Temporal Indicators
The task of providing leading indicators of catastrophic regime shifts in ecosystems is fundamental in order to design management protocols for those systems. Here we address the problem of lake eutrophication (that is, nutrient enrichment leading to algal blooms) using a simple spatial lake model. We discuss and compare different spatial and temporal early warning signals announcing the catast...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2014